Special Section on Concurrent/Hybrid Systems: Theory and Applications