Text this: Pragmatic verification and validation of industrial executable SysML models.