Henzinger, M. H., &; King, V. (1997). Maintaining minimum spanning trees in dynamic graphs. In 24th International Colloquium on Automata, Languages and Programming (Vol. 1256, pp. 594–604). Bologna, Italy: Springer Nature.https://doi.org/10.1007/3-540-63165-8_214 

Henzinger, T. A., &; Kopke, P. (1997). Discrete-time control for rectangular hybrid automata. In Proceedings of the 24th International Colloquium on Automata, Languages and Programming (Vol. 1256, pp. 582–593). Bologna, Italy: Springer.https://doi.org/10.1007/3-540-63165-8_213