Andreas Both Wolf Zimmermann Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems. 163-179 2008 CBSE http://dx.doi.org/10.1007/978-3-540-87891-9_11 conf/cbse/2008 db/conf/cbse/cbse2008.html#BothZ08