_id,doi,title
4612,10.1007/BFb0020931,Hybrid Systems III: Verification and Control