Analysing Product Lines of Concurrent Systems with Coloured Petri Nets | Publicación