Toward Translating Design Constraints to Run-Time Assertions.

Luciano Baresi Michal Young Toward Translating Design Constraints to Run-Time Assertions. 73-84 2005 116 Electr. Notes Theor. Comput. Sci. http://dx.doi.org/10.1016/j.entcs.2004.02.085 db/journals/entcs/entcs116.html#BaresiY05