RT-MOBS: A compositional observer semantics of time Petri net for real-time property specification language based on mu-calculus[J] SCIENCE OF COMPUTER PROGRAMMING 2021(206) Ge, Ning Dal Zilio, Silvano Liu, Hongyu Zhang, Li Zhang, Lianyi
