Shang-Wei Lin, Pao-Ann Hsiung. Model Checking Prioritized Timed Systems. IEEE Transactions on Computers, 61(6):843-856, 2012. [doi]
@article{LinH12-3, title = {Model Checking Prioritized Timed Systems}, author = {Shang-Wei Lin and Pao-Ann Hsiung}, year = {2012}, doi = {10.1109/TC.2011.99}, url = {http://doi.ieeecomputersociety.org/10.1109/TC.2011.99}, researchr = {https://researchr.org/publication/LinH12-3}, cites = {0}, citedby = {0}, journal = {IEEE Transactions on Computers}, volume = {61}, number = {6}, pages = {843-856}, }