Axel Martens Consistency between Executable and Abstract Processes. 60-67 2005 conf/eee/2005 EEE http://doi.ieeecomputersociety.org/10.1109/EEE.2005.53 db/conf/eee/eee2005.html#Martens05