2 nd International Workshop on Applied Formal Methods in System Design June 18-19, 1997. Zagreb, Croatia : proceedings - Lovrek, Ignac (Fakultet elektrotehnike i računarstva - Zagreb, 1997)