Multiparadigm design, validation and verification by simulation in flight control system development | IEEE Conference Publication | IEEE Xplore