Min-Young Nam, Kyungtae Kang, Rodolfo Pellizzoni, Kyung-Joon Park, Jung-Eun Kim, Lui Sha. Modeling towards incremental early analyzability of networked avionics systems using virtual integration. ACM Trans. Embedded Comput. Syst., 11(4):81, 2012. [doi]
Abstract is missing.