Iulia Dragomir, Iulian Ober, Christian Percebois: Safety Contracts for Timed Reactive Components in SysML. SOFSEM 2014: 211-222