A model for computerized procedures based on flowcharts and success logic trees · Study