fridge.aadl