Marco Cereia Ivan Cibrario Bertolotti Virtual machines for distributed real-time systems. 30-39 2009 31 Computer Standards & Interfaces 1 http://dx.doi.org/10.1016/j.csi.2007.10.010 db/journals/csi/csi31.html#CereiaB09