A High-Level Model Checking Language with Compile-Time Pruning of Local Variables | Publicación