Began work on creation of PseudoDevices from AADL devices