Irina Rychkova Alain Wegmann Formal Semantics for Property-Property Relations in SEAM Visual Language: Towards Simulation and Analysis of Visual Specifications. 138-147 2007 conf/vveis/2007 MSVVEIS db/conf/vveis/msvveis2007.html#RychkovaW07