Automata Modeling Approach to Identify and Pilot-Test Receptive Windows for Physical Activity Habit Formation in Midlife Adults | Arctuva