@conference {,
	title = {Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees},
	booktitle = {Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics and 14th Workshop on Structural Operational Semantics, {EXPRESS/SOS} 2017, Berlin, Germany, 4th September 2017.},
	year = {2017},
	doi = {10.4204/EPTCS.255.3},
	url = {https://doi.org/10.4204/EPTCS.255.3},
	author = {James Ferlez and Rance Cleaveland and Steven I. Marcus}
}
@conference {,
	title = {A framework for opacity in linear systems},
	booktitle = {2016 American Control Conference, {ACC} 2016, Boston, MA, USA, July 6-8, 2016},
	year = {2016},
	doi = {10.1109/ACC.2016.7526666},
	url = {https://doi.org/10.1109/ACC.2016.7526666},
	author = {Bhaskar Ramasubramanian and Rance Cleaveland and Steven I. Marcus}
}
