This is a proof of concept for an approach.
ExampleForPaper contains an example application whose model is build, whereas ServerlessApplicationTool contains the application building the model.
ExampleForCriteria contains some basic serverless applications using the serverless framework which can be used for the measurement of integration coverage criteria.