Process Algebra as a Common Framework for Hardware/Software Coverification. - Matthias Raffelsieper; Mohammad Reza Mousavi 001; J. Sleuters (IEEE Embed. Syst. Lett., 2011)