selected publications

• blog posting

  • Temporal and Modal Logic Based Event Languages for the Development of Reac-tive Application Systems.  Publications of Darmstadt Technical University, Institute for Business Studies (BWL). 2008

• conference paper

  • System Architecture and Risk Management for Autonomous Railway Convoys.  . 2008