Tal Cohen Joseph Gil Itay Maman Guarded Program Transformations Using JTL. 100-120 2008 TOOLS (46) http://dx.doi.org/10.1007/978-3-540-69824-1_7 conf/tools/46-2008 db/conf/tools/tools46-2008.html#CohenGM08