Applying AADL to realize embedded control systems for coordination of multiple low-cost underwater drones | IEEE Conference Publication | IEEE Xplore