1. A predictable framework for safety-critical embedded systems;Andalam;IEEE Trans. Comput.,2014
2. Clock constraints in uml/marte ccsl, Ph.D. thesis;André,2008
3. Verifying marte/ccsl mode behaviors using uppaal;Suryadevara,2013
4. N.A. Lynch, M.R. Tuttle, An introduction to input/output automata (1988).
5. Timesquare: treat your models with logical time;DeAntoni;Objects Models Compon. Patterns,2012