Smv    to    Step
(via Core)
Semaphore
Mutual exclusion using semaphore.