Unity, as a Tool for Reactive Systems Specification and Derivation.

Mamoun Filali, Philippe Mauran, Grard Padiou

Browse the full ECRTS paper archive.