Towards formal security analysis of GTRBAC using timed automata
Enantioselective microbial reduction of substituted acetophenones