Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina