1. UML profile for MARTE $${^{\mathtt{TM}}}$$ : Modeling and analysis of real-time embedded systems $${^{\mathtt{TM}}}$$ . http://www.omg.org/spec/MARTE/1.1/
2. International online testing symposium (1995–2017). http://tima.imag.fr/conferences/iolts/
3. IEEE standard verilog hardware description language. IEEE Std 1364–2001 (2001). https://doi.org/10.1109/IEEESTD.2001.93352
4. Specification: Business process execution language for web services version 1.1 (2003). http://www-106.ibm.com/developerworks/webservices/library/ws-bpel/
5. Berry, G.: The Constructive Semantics of Pure Esterel (1999). http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.46.2076