Żarnecki, A. F., L. W. Piotrowski, L. Mankiewicz, and S. Małek. “Luiza: Analysis Framework for GLORIA”. Acta Polytechnica, vol. 53, no. 1, Jan. 2013, doi:10.14311/1718.