selected publications conference paper Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines. . 173-180. 2008 Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints. . 315-318. 2008