David Safránek Visual Specification of Concurrent Systems. 369-372 2003 conf/kbse/2003 ASE http://doi.ieeecomputersociety.org/10.1109/ASE.2003.1240340 db/conf/kbse/ase2003.html#Safranek03