@inproceedings{inproceedings, title = {{Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification}}, publisher = {{Springer Berlin Heidelberg}}, url = {{}}, year = {{2013}}, month = {{3}}, author = {{Lin L and Poore JH and Eschbach R and Hierons RM and Robinson-Mallett C}}, doi = {{10.1007/978-3-642-37057-1_13}}, isbn = {{9783642370564}}, pages = {{179-193}}, note = {{Accessed on 2025/05/22}}}