Towards an automatic synthesis system for real-time software. - Tobiah E. Smith; Dorothy E. Setliff (RTSS, 1991)

Knowledge-based constraint-driven software synthesis. - Tobiah E. Smith; Dorothy E. Setliff (KBSE, 1992)

Towards supporting design phase synthesis. - Tobiah E. Smith; Dorothy E. Setliff (KBSE, 1993)

Using simulated annealing to synthesize resource-bounded software. - Tobiah E. Smith; Dorothy E. Setliff (Autom. Softw. Eng., 1994)