Pablo-Based Performance Monitoring Tool for PVM Applications. - Marian Bubak; Wlodzimierz Funika; Jacek Moscinski; Dariusz Tasak (PARA, 1995)

Using Formal Specification and Observers to Specify and Validate the ATM Signaling Protocols. - J. William Atwood; Morteza Ghodrat; Dariusz Tasak (LCN, 1999)