A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem.
Stefan KowalewskiOlaf StursbergMartin FritzHolger GrafIngo HoffmannJörg PreußigManuel RemelheSilke SimonHeinz TreselerPublished in: Hybrid Systems (1997)