Bounded error flowpipe computation of parameterized linear systems | Publicación