@Article{vEJPV16,
author={C. von Essen and B. Jobstmann and D. Parker and R. Varshneya},
title={Synthesizing Efficient Systems in Probabilistic Environments},
journal={Acta Informatica},
year={2016},

volume={53},
number={4},
pages={425–457},
publisher={Springer},
month={},
note={},
key={}
}