Yassine Lakhneche;Jozef Hooman
Christian-Albrechts-Univ. zu Kiel, Kiel, Germany;Eindhoven Univ. of Technology, Eindhoven, The Netherlands
Information flow in hybrid systems
ACM Transactions on Embedded Computing Systems (TECS)
Monotonic hybrid systems
Journal of Computer and System Sciences