The course Modelling Software-based Systems (MOSOS) is taught in the Master in Computer Science of the University of Lorraine and in the Master in Computer Engineering of Telecom Nancy. The lectures notes and documents for the students are at the link MOSOS