SysML is a domain-specific visual modeling language for systems engineering applications. It supports the specification, analysis, design, verification and validation of a broad range of systems and systems-of-systems. These systems may include hardware,
M. de Miguel. Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003., page 210--216. IEEE, (January 2003)