"States and modes"

Modeling and verification method for an early evaluation of Systems of Systems interactions
This paper presents the results achieved while pursuing the verification and validation of a train system behavior at the first steps …
PDF Cite DOI