Media type: E-Article Title: Rigorous State-Based Methods: Task Model Design and Analysis with Alloy Contributor: Cunha, Alcino; Macedo, Nuno; Kang, Eunsuk Published: Springer Nature Switzerland, 2023 Published in: Rigorous State-Based Methods (2023), Seite 303-320 Language: Not determined DOI: 10.1007/978-3-031-33163-3_23 ISBN: 9783031331633; 9783031331626 ISSN: 0302-9743; 1611-3349 Origination: Footnote: