Embedded, cyber-physical, and IoT systems : essays dedicated to Marilyn Wolf on the occasion of her 60th birthday (2020)