@Article{GHB+03,
author={M. Gribaudo and A. Horv\'ath and A. Bobbio and E. Tronci and E. Ciancamerla and M. Minichino},
title={Fluid Petri Nets and hybrid model-checking: a comparative case study},
journal={Reliability Engineering and System Safety},
year={2003},

volume={81},
number={},
pages={269-280},
publisher={},
month={},
note={},
key={}
}