Model Checking Software : 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings - Neele, Thomas; Wijs, Anton (Cham Springer, 2024)