Formal methods in specifying discrete event simulation models. - Lizza Tandoc Domingo (1991)