Wolfgang Ecker Volkan Esen Thomas Steininger Michael Velten Requirements and Concepts for Transaction Level Assertion Refinement. 1-14 2007 conf/iess/2007 IESS http://dx.doi.org/10.1007/978-0-387-72258-0_1 db/conf/iess/iess2007.html#EckerESV07