Early Availability Requirements Modeling Using Use Case Maps | IEEE Conference Publication | IEEE Xplore