Object-Oriented Component-Based Design using Behavioral Contracts: Application to Railway Systems. - Sebti Mouelhi; Khalid Agrou; Samir Chouali; Hassan Mountassir (CBSE, 2015)