JOSE: A New Jovian Specification Environment Model | IEEE Journals & Magazine | IEEE Xplore