"A pattern-based verification approach for a multi-core system development."

Peng-Hua Chu et al. (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics