Question 6) Consider the following NUSMV code and draw the corresponding transition diagram. MODULE main VAR status : {sense, sleep, listen}; ASSIGN init(status) := sense; next(status) := case status...

URGENT PLEASE .

DRAW THE TRANSITION DIAGRAM AS IN A STATE DIAGRAM

Extracted text: Question 6) Consider the following NUSMV code and draw the corresponding transition diagram. MODULE main VAR status : {sense, sleep, listen}; ASSIGN init(status) := sense; next(status) := case status = sense : {sleep, listen}; status = sleep : {sense, listen}; = listen : {sense, sleep}; status esac;