Wenbin Li, Jane Huffman Hayes, Miroslaw Truszczynski: Towards More Efficient Requirements Formalization: A Study. REFSQ 2015: 181-197