J. Kramer
J. Magee
IEEE Transactions on Software Engineering
Cooperative Update: A New Model for Dependable Live Update