1. Discrete abstractions of hybrid systems;Alur;Proceedings of the IEEE,2000
2. Communicating hierarchical state machines;Alur,1999
3. Model checking of hierarchical state machines;Alur;ACM Transactions on Programming Languages and Systems,2001
4. Controlling a class of nonlinear systems on rectangles;Belta;IEEE Transactions of Automatic Control,2006
5. Modular Minimization of Deterministic Finite–State Machines, Paris, France;Bustan;In 6th International Workshop on Formal Methods for Industrial Critical Systems,2001