Andreas Both, Dirk Richter. Automatic Component Protocol Generation and Verification of Components. In 36th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2010, Lille, France, September 1-3, 2010. pages 94-101, IEEE, 2010. [doi]
Abstract is missing.