Papers for the 14th International Workshop on Automated Verification of Critical Systems (AVoCS 2014)