Invia SMS: ESL models and their application : electronic system level design and verification in practice / by Brian Bailey, Grant Martin.