Modeling and Formal Analysis of Real–Time System via CCS | IEEE Conference Publication | IEEE Xplore