An Aspect-Based Approach to Checking Design Constraints at Run-Time. - Yoonsik Cheon; Carmen Avila; Steve Roach; Cuauhtemoc Munoz; Neith Estrada; Valeria Fierro; Jessica Romo (ITNG, 2009)