Modeling Timing Requirements in Problem Frames Using CCSL.

Xiaohong Chen 0007 Jing Liu 0012 Frédéric Mallet Zhi Jin 0001 Modeling Timing Requirements in Problem Frames Using CCSL. 381-388 2011 APSEC https://doi.org/10.1109/APSEC.2011.30 https://doi.ieeecomputersociety.org/10.1109/APSEC.2011.30 conf/apsec/2011 db/conf/apsec/apsec2011.html#ChenLMJ11