Hybrid Automata as a Modelling Approach in the Behavioural Sciences. - Matthias Buntins; Jens-Wolfhard Schicke; Frank Eggert; Ursula Goltz (Hybrid Autonomous Systems@ETAPS, 2011)