Yunja Choi. Verification of an abstract component using communication patterns. In ICSE 2009 Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009, May 16, 2009, Vancouver, Canada. pages 42-52, IEEE Computer Society, 2009. [doi]
Abstract is missing.