Title: Linearization of [mu]CRL specifications