Articles in Scholarly Journals [Incomplete List]

1. Synchronous Paradigm in Embedded Systems
   EURASIP Journal on Embedded Systems, vol. 2007, Article ID 32903, 2 pages, 2007
2. Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis
   Electronic Notes in Theoretical Computer Science, vol. 133, pp. 81–100, 2005
3. A hybrid controller for autonomous vehicles driving on automated highways
   Transportation Research Part C: Emerging Technologies, vol. 12, no. 6, pp. 421–452, 2004
4. Foreword
   Electronic Notes in Theoretical Computer Science, vol. 88, pp. 1–2, 2004
5. A scheduling heuristics for distributed real-time embedded systems tolerant to processor and communication media failures
   International Journal of Production Research, vol. 42, no. 14, pp. 2877–2898, 2004
6. Elimination of redundant messages with a two-pass static analysis algorithm
   Parallel Computing, vol. 28, no. 3, pp. 433–453, 2002
7. PrefaceVolume 65, Issue 5
   Electronic Notes in Theoretical Computer Science, vol. 65, no. 5, pp. 1–2, 2002
8. Automatic distribution of reactive systems for asynchronous networks of processors
   IEEE Transactions on Software Engineering, vol. 25, no. 3, pp. 416–427, 1999
9. Hierarchical finite state machines with multiple concurrency models
   IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 18, no. 6, pp. 742–760, 1999