Verification and validation techniques in systems engineering : application to state-chart diagrams