Safouan Taha, Jacques Julliand, Frédéric Dadeau, Kalou Cabrera Castillos, Bilal Kanso. A compositional automata-based semantics and preserving transformation rules for testing property patterns. Formal Asp. Comput., 27(4):641-664, 2015. [doi]
Abstract is missing.