
The 7 revised full papers were carefully reviewed and selected from 41 submissions. The papers focus on important innovations and recent advances in the specification, design, construction and use of communication in critical embedded systems.
Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings