Model-Based Atrial Fibrillation Detection