Contract-based modeling and verification of timed safety requirements within SysML | Publicación