NIMBUS: a tool for specification centered development

M.P.E. Heimdahl, M.W. Whalen, J.M. Thompson
Journal of Lightwave Technology  
doi:10.1109/icre.2003.1232780 dblp:conf/re/HeimdahlWT03 fatcat:5hondpom25dwjogkrdkd7ucgru