Thomas Wisniewski Wenying Feng A new modeling notation for system design and workflow patterns. 301-306 2006 conf/caine/2006 CAINE db/conf/caine/caine2006.html#WisniewskiF06a