selected publications conference paper An invariant based passive testing approach for protocol data parts. . 2011