K. Mani Chandy Reasoning About Continuous Systems. 117-132 1990 14 Sci. Comput. Program. 2-3 db/journals/scp/scp14.html#Chandy90