Contract-based modeling and verification of timed safety requirements within SysML. - Dragomir, Iulia; Ober, Iulian; Percebois, Christian (Software & Systems Modeling, 2017)