Architecting families of software systems with process algebras