Procedure for military executions