An AADL controller process model