NIMOC: A design and analysis tool for supersonic nozzles under non-ideal compressible flow conditions. - Marta Zocca; Paolo Gajoni; Alberto Guardone (J. Comput. Appl. Math., 2023)