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