S
[Sor14] Mathias Grund Sørensen. Controller synthesis for home automation. Master's thesis, Computer Science Department, Aalborg University, Denmark, 2014. 
@mastersthesis{sorensen-master14,
  author =              {S{\o}rensen, Mathias Grund},
  title =               {Controller synthesis for home automation},
  year =                {2014},
  school =              {Computer Science Department, Aalborg University,
                         Denmark},
}
List of authors