Introducing the KSTAR Radawa hotel case study