WinProGen: A Markov-Chain-based stochastic window status profile generator for the simulation of realistic energy performance in buildings. (15th May 2018)