Embedded computer systems : architectures, modeling, and simulation. 20th International Conference, SAMOS 2020, Samos, Greece, July 5-9, 2020. Proceedings (2020)