Tribastone, Mirco Behavioral relations in a process algebra for variants. In: Proceedings of the 18th International Software Product Line Conference on - SPLC '14. ACM, pp. 82-91. ISBN 978-1-4503-2740-4 (2014)