Nicolas Gobillot, Charles Lesire, David Doose. A Modeling Framework for Software Architecture Specification and Validation. In Davide Brugali, Jan F. Broenink, Torsten Kroeger, Bruce A. MacDonald, editors, Simulation, Modeling, and Programming for Autonomous Robots - 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings. Volume 8810 of Lecture Notes in Computer Science, pages 303-314, Springer, 2014. [doi]