Leeuwen, J. van2018-09-282024-06-272018-09-282024-06-272003https://drs.ess.gov.et/handle/123456789/5050enFormal Methods for Software ArchitecturesBook