Zoltán Pap Gyula Csopaki Sarolta Dibuz On the Theory of Patching. 263-271 2005 conf/sefm/2005 SEFM http://doi.ieeecomputersociety.org/10.1109/SEFM.2005.31 db/conf/sefm/sefm2005.html#PapCD05