Yoonsik Cheon, Carmen Avila, Steve Roach, Cuauhtemoc Munoz, Neith Estrada, Valeria Fierro, Jessica Romo. An Aspect-Based Approach to Checking Design Constraints at Run-Time. In Shahram Latifi, editor, Sixth International Conference on Information Technology: New Generations, ITNG 2009, Las Vegas, Nevada, 27-29 April 2009. pages 223-228, IEEE Computer Society, 2009. [doi]
Abstract is missing.