Concurrent systems and time synchronization. Issue 4 (19th May 2018)