A Formal Method for Specification and Refinement of Real-Time Systems.

Peter T. Breuer, Natividad Martnez Madrid, Luis Snchez, Andrs Marn, Carlos Delgado Kloos

Browse the full ECRTS paper archive.