Modeling and Validating Distributed Embedded Real-Time Systems with VDM++.

Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman

Browse the full FM paper archive.