tower-aadl: fix event evented channels, implement evented timers
tower-aadl: reasonable definition of processes