High-Level specification and automatic generation of IP interface monitors. - Marcio T. Oliveira; Alan J. Hu (DAC, 2002)