Verification of complex real-time systems using rewriting logic - Bourahla, Mustapha (Array, 2009)