Hanna Klaudel Maciej Koutny Elisabeth Pelz Franck Pommereau Towards Efficient Verification of Systems with Dynamic Process Creation. 186-200 2008 ICTAC http://dx.doi.org/10.1007/978-3-540-85762-4_13 conf/ictac/2008 db/conf/ictac/ictac2008.html#KlaudelKPP08