The volume contains the proceedings of the 9th Workshop on Model-Oriented Design and Analysis. It...