Formal and incremental verification of SysML for the design of component-based system. (Vérification formelle et incrémentale de spécifications SysML pour la conception de systèmes à base de composants). - Oscar Carrillo Rozo (2015)