A cost model for managing producer and consumer risk in availability demonstration testing رسالة دكتوراه