Reachability for Finite-State Process Algebras Using Static Analysis. - Nataliya Skrypnyuk; Flemming Nielson (RP, 2011)

Static Analysis of IMC. - Nataliya Skrypnyuk; Flemming Nielson; Henrik Pilegaard (J. Log. Algebraic Methods Program., 2012)

Reachability for Finite-State Process Algebras using Horn Clauses. - Nataliya Skrypnyuk; Flemming Nielson (Int. J. Found. Comput. Sci., 2013)