Zsigmond Pap Dániel Varró Static Safety Analysis of UML Action Semantics for Critical Systems Development. 57-61 2004 conf/gi/2004-1 GI Jahrestagung (1) db/conf/gi/gi2004-1.html#PapV04