Proceedings of the 15 th International Workshop on Automated Verification of Critical Systems ( AVoCS 2015 ) Formal Specification , Verification , and Implementation of Fault-Tolerant Systems