TY - RPRT TI - Generating Semi-Markov Models Automatically AU - Johnson, Sally C. PY - 1990 UR - https://ntrs.nasa.gov/citations/19900000594 ID - 19900000594 ER -