Derivation and Formal Verification of a Mode Logic for Layered Control Systems.

Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala

Browse the full APSEC paper archive.