Javeleon: An Integrated Platform for Dynamic Software Updating and Its Application in Self-*Systems | IEEE Conference Publication | IEEE Xplore