"Model-Based Verification of the DMAMAC Protocol for Real-time Process Control."

Admar Ajith Kumar Somappa, Andreas Prinz, Lars Michael Kristensen (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics