Hardware-in-the-loop Testing of Signal Temporal Logic Frequency Control in a Microgrid. - Max Ferrari Maglia; Mohammed M. Olama; Thomas Ben Ollis (ISGT, 2020)