Workspaces for rabbitmq-fmu » kgl/tla-test #3