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