Control flow abstraction of call_process() Control flow abstraction of Promela model of call_process()