Seung Yeob Shin, Yuriy Brun, Leon J. Osterweil. Specification and analysis of human-intensive system resource-utilization policies. In Proceedings of the International Workshop on Software Engineering in Healthcare Systems, SEHS@ICSE 16, Austin, Texas, USA, May 14-22, 2016. pages 8-14, ACM, 2016. [doi]
Abstract is missing.