A Beddoes-Leishman type dynamic stall model in state-space and indicial formulations