Avik Sinha Matthew Kaplan Amit M. Paradkar Clay Williams Requirements Modeling and Validation Using Bi-layer Use Case Descriptions. 97-112 2008 MoDELS http://dx.doi.org/10.1007/978-3-540-87875-9_7 conf/models/2008 db/conf/models/models2008.html#SinhaKPW08