Nasreddine Aoumeur Kamel Barkaoui Gunter Saake Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification. 1305-1307 2008 ITNG http://doi.ieeecomputersociety.org/10.1109/ITNG.2008.268 conf/itng/2008 db/conf/itng/itng2008.html#AoumeurBS08