Network-Aware Virtual Platform for the Verification of Embedded Software for Communications. - Calypso Barnes; Jean-Marie Cottin; Davide Quaglia; Enrico Fraccaroli; Alain Pegatoquet; François Verdier; Stefano Angeleri (DSD, 2015)