Formal specification and verification of communication protocols using automated tools . - Milica Barjaktarovic; Shiu-Kai Chin; Kamal Jabbour (ICECCS, 1995)

Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCS. - Milica Barjaktarovic; Shiu-Kai Chin; Kamal Jabbour (ISSTA, 1996)

Formal Specification and Verification of the MISSI Sender and Local Cache using SPIN. - Milica Barjaktarovic (ICFEM, 1997)