The Compositional Method and Regular Reachability. - Ingo Felscher (RP, 2008)

Compositionality and Reachability with Conditions on Path Lengths. - Ingo Felscher; Wolfgang Thomas (Int. J. Found. Comput. Sci., 2009)

Compositional Failure Detection in Structured Transition Systems. - Ingo Felscher; Wolfgang Thomas (CIAA, 2011)

LTL-Model-Checking via Model Composition. - Ingo Felscher (RP, 2012)

Model composition in model checking. - Ingo Felscher (2014)