Consistency Checking of Concurrent Models for Scenario-Based Specifications.

Xuandong Li Jun Hu Lei Bu Jianhua Zhao Guoliang Zheng Consistency Checking of Concurrent Models for Scenario-Based Specifications. 298-312 2005 conf/sdl/2005 SDL Forum http://dx.doi.org/10.1007/11506843_21 db/conf/sdl/sdl2005.html#LiHBZZ05