Express the following correctness properties in LTL. Feel free to dene propositions/variables to model the events mentioned in the question.
(a) If a parent process calls the blocking waitpid() system call then it is blocked until the child process terminates.