Specification and Analysis of Soft Real-Time Systems: Quantity and Quality