Silva, G., 		Haeusler, E., & 		Nalon, C.
2021 Nov 17.  Description of Command and Control Networks in Coq. Proceedings of the Workshop-School on Theoretical Computer Science (WEIT). [Online] :