tower-aadl: finish specifying event handler source texts