Giordano Pola Antoine Girard Paulo Tabuada Approximately bisimilar symbolic models for nonlinear control systems. 2508-2516 2008 44 Automatica 10 http://dx.doi.org/10.1016/j.automatica.2008.02.021 db/journals/automatica/automatica44.html#PolaGT08