Nourchène Elleuch Adel Khalfallah Samir Ben Ahmed ArchMDE Approach for the Formal Verification of Real Time Systems. 533-538 2011 CIT http://doi.ieeecomputersociety.org/10.1109/CIT.2011.39 conf/IEEEcit/2011 db/conf/IEEEcit/IEEEcit2011.html#ElleuchKA11