Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice