<style face="normal" font="default" size="100%">Invited: specification and modeling for systems-on-chip security verification</style>

Drupal-Bibcite