Aggregate Approach for Specification, Validation, Simulation and Implementation of Computer Network Protocols. - Henrikas Pranevitchius (Baltic Computer Science, 1991)

Tools for validation and simulation of Estelle/Ag specifications. - Henrikas Pranevitchius; Vytautas Pilkauskas (SEKE, 1994)