Giacomo Valente, Tania Di Mascio, Luigi Pomante, Vincenzo Stoico: An ESL Methodology for HW/SW Co-Design of Monitorable Embedded Systems: the "Design for Monitorability" Project - Work-in-Progress. CODES+ISSS 2020: 40-42