Abdeldjalil Boudjadar, Jin Hyun Kim, Kim G. Larsen, Ulrik Nyman. Model Checking Process Algebra of Communicating Resources for Real-Time Systems. In 26th Euromicro Conference on Real-Time Systems, ECRTS 2014, Madrid, Spain, July 8-11, 2014. pages 51-60, IEEE, 2014. [doi]
Abstract is missing.