Manzoor Ahmad, Iulia Dragomir, Jean-Michel Bruel, Iulian Ober, Nicolas Belloir: Early Analysis of Ambient Systems SYSML Properties using OMEGA2-IFx. SIMULTECH 2013: 147-154