added transformation for semaphores and semaphore accesses. Added an example model that uses semaphores (countingSemaphore and Spinlock).

Signed-off-by: Behnaz Pourmohseni <behnaz.pourmohseni@de.bosch.com>
Signed-off-by: Reiser Sebastian <Sebastian.Reiser@de.bosch.com>
6 files changed