Synchronous programming of reactive systems, a tutorial and commented bibliography (1998)

by N Halbwachs
Venue:In International Conference on Computer-Aided Verification, CAV’98