A Case Study in Formal System Engineering with SysML | Publicación