DURET-LUTZ, Alexandre, Etienne RENAULT, Maximilien COLANGE, Florian RENKIN, Alexandre Gbaguidi AISSE, Philipp SCHLEHUBER-CAISSIER, Thomas MEDIONI, Antoine MARTIN, Jérôme DUBOIS, Clément GILLARD and
Henrich LAUKO. From Spot 2.0 to Spot 2.10: What's New?. Online. In Sharon Shoham, Yakir Vizel.
Computer Aided Verification. Cham: Springer International Publishing, 2022, p. 174-187. ISBN 978-3-031-13187-5. Available from: https://dx.doi.org/10.1007/978-3-031-13188-2_9.