Text this: Analytical approach of synchronous and asynchronous update schemes applied to solving biological Boolean networks.