A Framework for Parameterized Monitorability.