Formalizing Candidate Model Construction with Hidden Markov Models.