?url_ver=Z39.88-2004&rft_id=10.1109%2F.2001.980716&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.aulast=Torrisi&rft.aufirst=Fabio+Danilo&rft.au=Torrisi%2C+Fabio+Danilo&rft.isbn=0-7803-7061-9+&rft.date=2001&rft.title=Discrete-time+hybrid+modeling+and+verification&rft.btitle=Decision+and+Control+Conference&rft.genre=bookitem