Żarnecki, Aleksander Filip, Lech Wiktor Piotrowski, Lech Mankiewicz, and Sebastian Małek. 2013. “Luiza: Analysis Framework for GLORIA”. Acta Polytechnica 53 (1). https://doi.org/10.14311/1718.