by Rawlings, Blake C., Lafortune, Stephane, Ydstie, B. Erik
Published in IEEE transactions on control systems technology (01.03.2020)

by Baarir, Souheib, Braunstein, Cécile, Encrenaz, Emmanuelle, Ilié, Jean-Michel, Mounier, Isabelle, Poitrenaud, Denis, Younes, Sana
Published in Formal methods in system design (01.10.2011)

by Soeanu, Andrei, Ray, S., Debbabi, M., Berger, J., Boukhtouta, A., Ghanmi, A.
Published in 2012 25th IEEE Canadian Conference on Electrical and Computer Engineering (CCECE) (01.04.2012)

by Kholy, Warda El, Bentahar, Jamal, Menshawy, Mohamed EL, Qu, Hongyang, Dssouli, Rachida
Published in ACM transactions on software engineering and methodology (01.12.2014)

by Alur, Rajeev, Chaudhuri, Swarat, Madhusudan, P.
Published in ACM transactions on programming languages and systems (01.11.2011)

by Li, Yahui, Yin, Xia, Wang, Zhiliang, Yao, Jiangyuan, Shi, Xingang, Wu, Jianping, Zhang, Han, Wang, Qing
Published in IEEE Communications surveys and tutorials (2019)

by Bingham, Jesse, Hu, Alan J.
Published in Lecture notes in computer science (2005)

by El Menshawy, Mohamed, Bentahar, Jamal, El Kholy, Warda, Yolum, Pinar, Dssouli, Rachida
Published in Knowledge engineering review (01.11.2015)