doc: first notes on WCET analysis