selected publications

• academic article

  • An Open Software Architecture for the Verification of Industrial Controllers.  Zenodo (CERN European Organization for Nuclear Research).  2001
  • An open tool architecture for the formal verification of logic controllers in processing systems.  IFAC Proceedings Volumes.  32:4828-4833. 1999