Kafashe Panjeh Shahi, Payam (2006) Verification and validation techniques in systems engineering : application to state-chart diagrams. Masters thesis, Concordia University.