Logical analysis of hybrid systems providing theorems for complex dynamics - Platzer, Andre (Heidelberg Springer, 2010)
Keywords: Programming