Modeling Timing Requirements in Problem Frames Using CCSL.

Xiaohong Chen, Jing Liu, Frdric Mallet, Zhi Jin

Browse the full APSEC paper archive.