A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems (2011)

by L Carnevali, G Lipari, A Pinzuti, E Vicario
Venue:Proc. Ada-Europe Int’l Conf. Reliable Software Technologies