@inproceedings{a9b50d37f3a14e19bf1246b260e44551,
title = "Stochastic Analysis of Synchronization in a Supermarket Refrigeration System",
author = "John-Josef Leth and Rafal Wisniewski and Rasmussen, {Jakob Gulddahl} and Henrik Schi{\o}ler",
year = "2015",
doi = "10.4204/EPTCS.174.4",
language = "English",
volume = "174",
series = "Electronic Proceedings in Theoretical Computer Science",
publisher = "Open Publishing Association",
pages = "40--50",
booktitle = "4th Workshop on Hybrid Autonomous Systems 2014 (HAS 2014)",
note = "4th Workshop on Hybrid Autonomous Systems (HAS 2014) ; Conference date: 12-04-2014 Through 13-04-2014",
}