Analysing trade-offs in frameworks for the design of smart environments. Issue 1 (2nd January 2020)