source: https://docs.aws.amazon.com/serverless-application-model/latest/developerguide/serverless-cdk-getting-started.html