On Control with Bounded Computational Resources. - Oded Maler; Bruce H. Krogh; Moez Mahfoudh (FTRTFT, 2002)

Verification of Timed Automata via Satisfiability Checking. - Peter Niebert; Moez Mahfoudh; Eugene Asarin; Marius Bozga; Oded Maler; Navendu Jain (FTRTFT, 2002)