DOI,IST REx ID,Title of publication
10.1007/BFb0020931,4612,Hybrid Systems III: Verification and Control