Measuring Quantitative Dependability Attributes in Digital Publishing Using Petri Net Workflow Modeling