Alberto L. Sangiovanni-Vincentelli: My 50-Year Journey from Punched Cards to Swarm Systems. ISPD 2019: 123-125