Domingues, Miguel, and João Costa Seco Type Safe Evolution of Live Systems. Workshop on Reactive and Event-based Languages & Systems (REBLS'15). Pittsburgh, 2015.