Author,Title,Edition,Publisher,Year,Series,Number,ISBN,ISSN,URL
"Penczek, Wojciech and Półrola, Agata",Advances in verification of time petri nets and timed automata : a temporal logic approach,,Springer Berlin,2006,Studies in computational intelligence,,9783540328698,,https://cir.nii.ac.jp/crid/1130282270880398976