Extending Harmless architecture description language for embedded real-time systems validation. - Jean-Luc Béchennec; Mikaël Briday; Valere Alibert (SIES, 2011)