1. Modeling timed concurrent systems;Liu,2006
2. A modular formal semantics for Ptolemy;Tripakis;Math. Struct. Comput. Sci.,2013
3. A coinductive calculus of component connectors;Arbab,2003
4. Symbolic reachability computation for families of linear vector fields;Lafferriere;J. Symb. Comput.,2001
5. Discrete event systems: modeling, observation, and control;Lafortune,2019