%0 Journal Article %T Reliable yet flexible software through formal model transformation (rule definition) %A Rasoolzadegan, Abbas %A Ahmad Abdollahzadeh Barforoush %J Knowledge and Information Systems %@ 0219-1377 %D 2014