An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems.

Alan Burns, Cliff B. Jones

Browse the full ECRTS paper archive.