▸ From Dynamic State Machines to Promela Joint work with M. Benerecetti, U. Gentile, S. Marrone, R. Nardone, A. Peron, and V. Vittorini. Presented at SPIN 2019 - 26th International SPIN Symposium on Model Checking of Software.