A New Process-Algebraic Specification Methodology for Integrated Modular Avionic Systems