The full Aruba Instant version numbers is built up like: <ArubaOS base version>-<Aruba Instant version>_<build number>.
The ArubaOS base version defines from which Controller release this Instant version has been derived, and is there for information purposes only; the same for the Build Number.
So in most cases you only take the middle part 4.x.x.x into account.
Aruba Instant firmware is available without support contract from the 'Check new version' in the Maintenance tab in the virtual controller, or via the support website under Life time warranty software: http://support.arubanetworks.com/LifetimeWarrantySoftware/tabid/121/Default.aspx. At this moment 4.1.1.12 and 4.2.2.0 are the available versions.
Version 4.1.3.0 has not been released yet, you may work with Aruba TAC to get an estimated release date.