Formal Methods for Eternal Networked Software Systems