Automated Change Propagation from Source Code to Sequence Diagrams. - Karol Rástocný; Andrej Mlyncár (SOFSEM, 2018)