Telefona gönder: Rigorous State-Based Methods