Formal aspects of component software 16th international conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019 : proceedings - Arbab, Farhad 1952-; Jongmans, Sung-Shik (Springer, 2020)