Modeling Guidelines and Usage Analysis Towards Applying HiP-HOPS Method to Airborne Electrical Systems. - Carolina D. Villela; Humberto Hayashi Sano; Juliana de Melo Bezerra (SAFECOMP, 2015)