\input zb-basic \input zb-ioport \iteman{io-port 70070090} \itemau{Faure, Cyril; Ben Gaid, Mongi; Pernet, Nicolas; Fremovici, Morgan; Font, Gr\'egory; Corde, Gilles} \itemti{Methods for real-time simulation of cyber-physical systems: application to automotive domain} \itemso{IWCMC, 1105-1110 (2011).} \itemcc{} \itemut{} \itemli{doi:10.1109/IWCMC.2011.5982695} \end