Platzer A. Logical analysis of hybrid systems : proving theorems for complex dynamics / A. Platzer, 2010 r=on-line. - Текст : электронный.