FsCheck model based testing with timed behaviour

Is there a possibility to model timed behavior so that fscheck's

 Check.Quick(asProperty spec)

generate test cases for it?

Example: There are 3 States: A, B and C
if state B is activated the system switches after X seconds automatically to state C if no other user input (e.g. switch to state A) occurs.

http://ift.tt/1b9cpe9

So fscheck should automatically wait for this X seconds and check then if the system is in the correct state.