selected publications

• chapter

  • Debugging and Visualization.  Lecture Notes in Computer Science. 2016
  • Quo Vadis Formal Verification?.  Lecture Notes in Computer Science. 2016
  • OCL and Model Driven Engineering.  Springer eBooks. 67-75. 2005