Text this: Formal methods for eternal networked software systems :