Parameterized model checking is an active research field. The system models that it considers, as well as the proof methods it uses for obtaining decidability results, are quite similar to those considered in distributed computing. We hope that our recent book helps distributed computing experts in understanding and entering parameterized model checking research. In this short note we want to give a taste of this area.