AADL Execution Semantics Transformation for Formal Verification. - Thomas Abdoul; Joël Champeau; Philippe Dhaussy; Pierre Yves Pillain; Jean-Charles Roger (ICECCS, 2008)

An Efficient Modeling and Execution Framework for Complex Systems Development. - Isabelle Perseil; Laurent Pautet; Jean-François Rolland; Mamoun Filali; Didier Delanote; Stefan Van Baelen; Wouter Joosen; Yolande Berbers; Frédéric Mallet; Dominique Bertrand; Sébastien Faucou; Abdelhafid Zitouni; et al. (ICECCS, 2011)