A framework for specifying, modeling, implementation and verification of SOC protocols. - Shahid Ikram; David Asher; Isam Akkawi; Jack Perveiler; Jim Ellis (SoCC, 2014)