Synchronized extension systems. - Ferucio Laurentiu Tiplea; Erkki Mäkinen; Corina Apachite (Acta Informatica, 2001)

Composing Reachability Analyses of Hybrid Systems for Safety and Stability. - Sergiy Bogomolov; Corina Mitrohin; Andreas Podelski (ATVA, 2010)

Composing Stability Proofs for Hybrid Systems. - Corina Mitrohin; Andreas Podelski (FORMATS, 2011)

Compositional stability verification of hybrid systems. - Corina Mitrohin (Shaker, 2013)