Michel Sintzoff Frédéric Geurts Analysis of Dynamical Systems Using Predicate Transformers - Attraction and Composition. 227-260 1993 conf/ac/1993adcs Analysis of Dynamical and Cognitive Systems db/conf/ac/adcs1993.html#SintzoffG93