Modularization of Software as a Service Products: A Case Study of the Configuration Management Tool Puppet | IEEE Conference Publication | IEEE Xplore