A modeling language and its supporting tools for avionics systems