[COMPASS-SUPPORT] License for using the COMPASS toolset

Dear Sirs, I work at INPE (National Institute For Space Research) in Brazil. I am a doctoral student and my research topic is on Formal Methods applicable to embedded software for satellites. I would like to know in detail the COMPASS toolset specifically on the SLIM modeling language. Is it possible to provide me a license to use the COMPASS toolset to complete may research? Regards, Sergio Norio Itami