TY - RPRT TI - Structural Embeddings: Mechanization with Method AU - Munoz, Cesar AU - Rushby, John PY - 1999 UR - https://ntrs.nasa.gov/citations/19990064123 ID - 19990064123 ER -