Mikyška, J., & 		Polívka, O.
2016 Feb 28.  Energy inequalities in compositional simulation. Proceedings of the Conference Algoritmy. [Online] :