Reference for MINA?

[Gian77]

Hi,
I am Gian. We spoke a few years ago about MINA. Did you publish the tool yet? I'd love to cite it.
Thanks,
G.

[Guan06]

Hi Gian,

thank you very much for your inquiry, we are under revision right now, so hopefully will provide a citation soon, thanks again for your support!

Best,
Rui