An Implementation of the Behavior Annex in the AADL-Toolset Osate2

Gilles Lasnier, Laurent Pautet, Jérôme Hugues, Lutz Wrage
2011 2011 16th IEEE International Conference on Engineering of Complex Computer Systems  
doi:10.1109/iceccs.2011.39 dblp:conf/iceccs/LasnierPHW11 fatcat:45vzd5dh7vf2lm2566ptd7b6am