Special issue on Automated Verification of Critical Systems (AVoCS 2013)