@misc{misc5b0299c9,
title   = {A petri-net based object-oriented approach for the modelling and analysis of hybrid systems},
author = {Villani, Emília and Miyagi, Paulo Eigi},
year = {2004}
}