Being detailed and slow by nature, these levels of abstraction are not suitable for validating a whole system that could be further implemented in software ... behavior of the SysML can be represented ...