Safety Contracts for Timed Reactive Components in SysML | Publicación