//This file was generated from (Academic) UPPAAL 4.1.7 (rev. 4934), November 2011 /* Characteristic property */ A[] (forall (pid : pid_t) (((Thread(pid).Enter_End or Thread(pid).Reentering) and just_signalled) imply signalled_pid == pid))